A Comparison of Range Arithmetic Methods in Symbolic-Numeric Circuit Analysis Applications

نویسندگان

  • Balavelan Thanigaivelan
  • Tara Julia Hamilton
  • Adam Postula
چکیده

In this paper we compare the performance of several range arithmetic methods in evaluating problems in symbolicnumeric circuit analysis. Symbolic-numeric circuit analysis involves solving systems of linear equations in order to obtain the values of currents and voltages in a given circuit. Symbolic circuit expressions contain a large number of product terms and long chains of arithmetic operations which make computations difficult. When analysis of circuit behaviour over a range of parameter values is required the symbolic expressions can be evaluated using one of the range arithmetic methods reported in literature. The range arithmetic methods considered in this paper are affine arithmetic (AA), Extensions to AA (EAA) suggested by Messine, and generalized interval arithmetic (GIA) suggested by Kolev. One important difference between these range arithmetic methods is the method by which two affine numbers, or two generalized interval numbers, are multiplied. In this paper, each range arithmetic method is evaluated based on the performance of the multiplication operation which is predominant in symbolic circuit expressions. We show that the performance of the multiplication rule in each method determines the accuracy of computations. We present the benefits and problems associated with using each of the range arithmetic methods. We also show that GIA gives tighter bounds and efficiently simulates the effects of uncertainties in circuit parameters when solving problems in circuit analysis.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Symbolic-Numeric Methods for Reliable and Trustworthy Problem Solving in Cyber-Physical Domains

Reflecting the fundamental role numeric and mixed symbolic-numeric arguments play in the analysis, decision making, and control of cyber-physical processes, this seminar promoted crossfertilization between the following research areas relevant to problem solving in cyber-physical domains: verification of numerical reactive systems such as embedded floating-point programs and hybrid systems, inc...

متن کامل

A symbolic-numeric silhouette algorithm

We have revisited the silhouette algorithm developed by Canny, and designed its new symbolic-numeric version. The symbolic-numeric silhouette algorithm do not require the symbolic computation of the determinants of resultant matrices, and can work on oating point arithmetic. Though its combinatorial complexity remains the same, but its algebraic complexity has been improved signi cantly which i...

متن کامل

Applications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops

All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...

متن کامل

Algebraic Complexity Theory

Algebraic complexity theory investigates the computational cost of solving problems with an algebraic flavor. Several cost measures are of interest. We consider arithmetic circuits, which can perform the (exact) arithmetic operations +, -, *, / at unit cost, and take their size ( = sequential time) or their depth (=parallel time) as cost functions. This is a natural "structured" model of comput...

متن کامل

A Generic Circuit Modeling Strategy Combining Symbolic and Numeric Analysis

In this paper we present a generic modeling strategy for the derivation of approximated symbolic expressions for small-signal characteristics of analog circuits. This approach is characterized by a tight interaction between symbolic and numeric computations to ensure continuous error control and verification of the results. The workflow may also be extended to the derivation of nonlinear circui...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010